BEGIN REQUIRE ERROR_MODES "F"; FRAME F; TRANS T; (ASSERT (SF DEPROACH F T)); F ← BPARK; T ← NILTRANS; MOVE BARM TO F; END;